abstract interpretation
抽象解译
热门查询
- custodian n. 管理人；监护人；保管人
- dematerialization n. 非物质化；湮没现象
- unsanctioned adj. 未批准的；未经认可的
- Vistula 维斯瓦河[波兰中部]
- analyzer n. [计] 分析器；分析者；检偏镜
- conman [法] 骗子
- uncap vt. 脱掉帽子；打开盖 vi. 脱帽致意
- touching prep. 至于，关于 v. 接触；感动（touch的ing形式） adj. 动人的，令人同情的
- reproduce vt. 复制；再生；生殖；使…在脑海中重现 vi. 复制；繁殖
- autopilot n. [航] 自动驾驶仪（等于automatic pilot）
- fess n. (Fess)人名；(英、德)费斯 vt. 供认；坦白 vi. 交代；供认
- bronze n. 青铜；古铜色；青铜制品 adj. 青铜色的；青铜制的 vt. 镀青铜于 vi. 变成青铜色，被晒黑 n. (Bronze)人名；(葡)布龙泽
- impala n. 黑斑羚（产于非洲中南部） n. (Impala)人名；(意)因帕拉
- zirconia n. 氧化锆
- transgene n. [遗] 转基因；输异基因
- Lorne [人名] 洛恩
- cult n. 祭仪（尤其指宗教上的）；礼拜；狂热信徒
- squalling adj. 哭哭啼啼的 v. 狂风吹袭；高声尖叫（squall的现在分词）
- seismological adj. 地震学上的
- unrepresentative adj. 非代表性的，不典型的
考试词汇表
- wegelina cryptomeriae sawada
- weierstrass-erdmann function
- weighing and closing machine
- weighing buret, weight buret
- weight average boiling point
- weight distribution function
- weight hourly space velocity
- weight indicating controller
- weight of relative covariant
- weight of relative invariant
- weight percent concentration
- weight proportional retarder
- weight ratio of constituents
- weight reduction by sweating
- weighted aggregate of prices
- weighted average tariff rate
- weighted least square method
- weighted oscillator strength
- weighted regression analysis
- weighted round robin queuing
